Pii: S1043-951x(99)00007-3

Pii: S1366-5545(99)00007-1

Compared with technical research on ships, there is lack of systematic data and research on maritime labour, their number, education and manning eciency. Due to the high mobility of the profession and complication of jurisdictions, there is no exact ®gure of the number of seamen worldwide. This paper establishes a method to estimate maritime labour worldwide as well as on open-registry ̄eets. ...

Introduction to Set Constraint-Based Program Analysis

Verifying ontological commitment in knowledge-based systems

Using generic programming for designing a data structure for polyhedral surfaces

Software design solutions are presented for combinatorial data structures, such as polyhedral surfaces and planar maps, tailored for program libraries in computational geometry. Design issues considered are exibility, time and space eeciency, and ease-of-use. We focus on topological aspects of polyhedral surfaces and evaluate edge-based representations with respect to our design goals. A design...

Decomposition approximations for time-dependent Markovian queueing networks

Motivated by the development of complex telephone call center networks, we present a general framework for decompositions to approximately solve Markovian queueing networks with time-dependent and state-dependent transition rates. The decompositions are based on assuming either full or partial product form for the time-dependent probability vectors at each time. These decompositions reduce the ...